Cohomological Characterization of Hyperbolic Groups

نویسنده

  • S. M. Gersten
چکیده

The nitely presented group G is hyperbolic ii H 2 (1) (G; ` 1) = 0. I have established the following result, full details for which will appear in a forthcoming paper. Theorem 1. The nitely presented group G is hyperbolic ii H 2 (1) (G; ` 1) = 0. For the deenition of thè 1-cohomology, see Ge1]. The coeecient group`1 here is the Banach space of bounded functions on a countably innnite set in the sup norm. One direction in the theorem, that H 2 (1) (G; ` 1) = 0 if G is hyperbolic, is established in Ge1]. It comes down, after a series of reductions, to the Hahn-Banach extension theorem. Another proof of this direction based on a diierent principle is contained in Ge2]. The proof of the converse result is based on the following Theorem 2. Suppose that P is a nite presentation for the group G which is not hyperbolic. Then there exists K > 0 such that for innnitely many t ! 1 there exist simple circuits w(t) in the Cayley graph ? so that (1) `(w(t)) 100t, and (2) for all n > 0, Area(w(t) n) Knt 2. Explanation. Area(w) is the integral lling norm N Z of the 1-cycle determined by w, or equivalently Area(w) is the minimal area of an oriented surface diagram lling the 1-cycle w in ?. This is less than the minimal area Area 0 (w) of a van Kampen (i.e. genus 0) lling of w, in general. For the deenitions of the integral lling norm N Z and of the real lling norm N R which we need below, see Ge1]. The circuit w(t) n goes n-times around the original circuit w(t). Since we shall only be considering these as 1-cycles in ?, the choice of the base point is irrelevant. Corollary 3. Under the hypotheses of Theorem 2 the real lling norm N R is not equivalent to thè 1 norm on integral 1-cycles on ?. Proof. We argue by contradiction, assuming to the contrary that N R j j 1 on integral 1-cycles. Using methods of Ge1] x9 I show there exists C > 0 so that for every integral 1-cycle b 6 = 0 on ? there exists an integer n 1 > 1 so that N Z (n 1 b)

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Cohomological Characterization of Hyperbolic Groups

A finitely presented group G is word hyperbolic iff H2 (∞) (G, l∞) = 0. §

متن کامل

Ideal Bicombings for Hyperbolic Groups and Applications

For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant which implies that several Measure Equivalence and Orbit Equivalence rigidity results established in [MSb] hold for all non-elementary hyperbolic groups and thei...

متن کامل

Subgroups of Word Hyperbolic Groups in Dimension 2

If G is a word hyperbolic group of cohomological dimension 2, then every subgroup of G of type FP2 is also word hyperbolic. Isoperimetric inequalities are denned for groups of type FP2 and it is shown that the linear isoperimetric inequality in this generalized context is equivalent to word hyperbolicity. A sufficient condition for hyperbolicity of a general graph is given along with an applica...

متن کامل

Cat(0) and Cat(−1) Fillings of Hyperbolic Manifolds

We give new examples of hyperbolic and relatively hyperbolic groups of cohomological dimension d for all d ≥ 4 (see Theorem 2.13). These examples result from applying CAT(0)/CAT(−1) filling constructions (based on singular doubly warped products) to finite volume hyperbolic manifolds with toral cusps. The groups obtained have a number of interesting properties, which are established by analyzin...

متن کامل

ar X iv : m at h / 03 04 27 8 v 1 [ m at h . G R ] 1 9 A pr 2 00 3 IDEAL BICOMBINGS FOR HYPERBOLIC GROUPS AND APPLICATIONS

For every hyperbolic group, we construct an ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant which implies that several Measure Equivalence and Orbit Equivalence rigidity results established in [26] hold for all non-elementary hyperbolic groups and their non-elementary subgroups. For any subgroup Γ o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996